|
|
1.
|
DATA ABSTRACTION IN PROGRAMMING LANGUAGES
by Bishop, Judy. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: x,166.Publisher: Workingham Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B541d] (1).
|
|
|
2.
|
Data types and structures
by Gotlieb, C. C | Gotlieb, L. R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 444p.Publisher: Englewood Cliffs Prentice-Hall 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 G712d] (1).
|
|
|
3.
|
INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS
by Reichel, Horst. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 221.Publisher: Oxford Clarendon Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 R271i] (1).
|
|
|
4.
|
Data types and persistence
by Atkinson, Malcolm P [ed.] | Buneman, Peter [ed.] | Morrison, Ronald [ed.]. Material type: Book Description: xviii, 292p.Publisher: Berlin Springer Verlag 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 D262] (1).
|
|
|
5.
|
OBJECT-ORIENTED PROGRAMMING
by Castagna,Giuseppe. Material type: Book Description: xviii,366.Publisher: Birkhauser, Boston c1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 C274O] (1).
|
|
|
6.
|
FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES
by Bruce,Kim B. Material type: Book Description: xx,384.Publisher: Mit Press, Cambridge c2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.117 B83F] (1).
|
|
|
7.
|
FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES
by Bruce,Kim B. Material type: Book Description: xx,384.Publisher: Mit Press, Cambridge c2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.117 B83F] (1).
|
|
|
8.
|
Stochastically-based semantic analysis
by Minker, Wolfgang | Waibel, Alex. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 221p.Publisher: Boston Kluwer Academic Publishers 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 M665s] (1).
|
|
|
9.
|
Inheritance hierarchies in knowledge representation and programming languages
by | Lenzerini, Maurizio, Ed | Nardi, Daniele, Ed | Simi, Maria, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 310p.Publisher: Chichester John Wiley & Sons 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 In4] (1).
|
|
|
10.
|
LECTURE NOTES IN COMPUTER SCIENCE (VOL. 2380)
by Peter Widmayer,No | Widmayer,Peter | . Description: xi,1065.Publisher: Springer-Verlag,Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
11.
|
Reverse Engineering of Object Oriented Code
: [electronic resource] /
by Tonella, Paolo [author.] | Potrich, Alessandra [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XIV, 208 p. 80 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
12.
|
Software Process Modeling
: [electronic resource] /
by Acu�a, Silvia T [editor.1 ] | Juristo, Natalia [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 208 p. 59 illus. online resource.Boston, MA : Springer US, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
13.
|
A Software Process Model Handbook for Incorporating People’s Capabilities
: [electronic resource] /
by Acuña, Silvia Teresita [author.] | Juristo, Natalia [author.] | Moreno, Ana María [author.] | Mon, Alicia [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 324 p. 90 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
14.
|
Guide to Assembly Language Programming in Linux
: [electronic resource] /
by Dandamudi, Sivarama P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 545 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
15.
|
Multi-Agent Programming
: Languages, Platforms and Applications /
: [electronic resource] :
by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Dix, Jürgen [editor.] | Fallah Seghrouchni, Amal El [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXIV, 296 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
16.
|
Multimedia Introduction to Programming Using Java
: [electronic resource] /
by Gries, David [author.] | Gries, Paul [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 536 p. 420 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
17.
|
Abstraction, Refinement and Proof for Probabilistic Systems
: [electronic resource] /
by McIver, Annabelle [author.] | Morgan, Carroll [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 388 p. 63 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
18.
|
Introduction to Assembly Language Programming
: For Pentium and RISC Processors /
: [electronic resource] :
by Dandamudi, Sivarama P [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 692 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
19.
|
XML for Bioinformatics
: [electronic resource] /
by Cerami, Ethan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 304 p. 59 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
20.
|
An Integrated Approach to Software Engineering
: [electronic resource] /
by Jalote, Pankaj [author.] | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 566 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
